Sequential Circuits Synthesis for Rapid Single Flux Quantum Logic Based on Finite State Machine Decomposition

Rapid Single Flux Quantum (RSFQ) logic is a promising technology to supersede Complementary metal-oxidesemiconductor (CMOS) in some specialized areas due providing ultra-fast and energy-efficient circuits. To realize large-scale integration design, electronic design automation (EDA) tools for RSFQ are required the divergences type, timing constraints, circuit structure compared with CMOS logic. Logic synthesis crucial converting behavioral description into netlist, typically combining combinational sequential synthesis. For logic, challenging, especially non-linear blocks feedback loops. Thus, this paper presents algorithm based on finite state machine (FSM) decomposition, which ensures functionality, lowers costs, improves performance. Additionally, we present processes of 2-bit counter demonstrate how proposed operates, ISCAS89 benchmark circuits reveal our method’s ability synthesize